(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(declare-fun f () Int)
(declare-fun g () Int)
(declare-fun h () Int)
(declare-fun i () Int)
(declare-fun j () Int)
(declare-fun k () Int)
(declare-fun l () Int)
(assert (or (= d 0 (div k c) i)))
(assert (= (mod 0 (- (- l) b)) i))
(assert (or (and (= j 0) (>= 0 (+ k a) 0)) (and (= f 0 g a 0) (= b h 0)) (= (div (- l) 9) 0) (= e 0)))
(check-sat)
